Knihy od autora Ofer Strichman

Zobrazeno 1 – 5 z 5 výsledků

1. 

   Decision Procedures

   Daniel Kroening, Ofer Strichman | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2018

   
   

   Skladem u dodavatele - Odesíláme za 10-18 dnů

   Jazyk: Angličtina

   Vazba: Brožovaná

   807 Kč

   Koupit
2. 

   Decision Procedures

   Daniel Kroening, Ofer Strichman | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2017

   
   

   Skladem u dodavatele - Odesíláme za 10-18 dnů

   Jazyk: Angličtina

   Vazba: Pevná

   1102 Kč

   Koupit
3. 

   Hardware and Software: Verification and Testing

   Ofer Strichman, Rachel Tzoref-Brill | Springer International Publishing AG, 2017

   
   

   Skladem u dodavatele - Odesíláme za 5-8 dnů

   Jazyk: Angličtina

   Vazba: Brožovaná

   1182 Kč

   Koupit
4. 

   Decision Procedures

   Daniel Kroening, Ofer Strichman | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2008

   
   

   Skladem u dodavatele - Odesíláme za 10-18 dnů

   Jazyk: Angličtina

   Vazba: Pevná

   1753 Kč

   Koupit
5. 

   Theory and Applications of Satisfiability Testing - SAT 2010

   Ofer Strichman, Stefan Szeider | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2010

   
   

   50 % šance - Prohledáme celý svět

   Jazyk: Angličtina

   Vazba: Brožovaná

   1386 Kč

   Koupit

Knihy si můžete vyzvednout na mnoha místech po celé ČR. Zjistěte více